search: reload search providers when installed applications change

Otherwise, a shell restart will be required after installing a new
application, before its results can be seen in search.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/562

diff --git a/js/ui/search.js b/js/ui/search.js
index fe4f6162bf43326929d85a99b420fa6d32dd0f9e..6ceee4f039cb3c6c5058a65ad45ef5dc2d7870d4 100644 (file)
--- a/js/ui/search.js
+++ b/js/ui/search.js
@@ -431,6 +431,9 @@ var SearchResults = class {
         this._cancellable = new Gio.Cancellable();
 
         this._registerProvider(new AppDisplay.AppSearchProvider());
+
+        let appSystem = Shell.AppSystem.get_default();
+        appSystem.connect('installed-changed', this._reloadRemoteProviders.bind(this));
         this._reloadRemoteProviders();
     }